50

An automated approach to specification animation for validation

Year:
2007
Language:
english
File:
PDF, 633 KB
english, 2007